منابع مشابه
Walther Recursion
Primitive recursion is a well known syntactic restriction on recursive deenitions which guarantees termination. Unfortunately many natural deenitions, such as the most common deenition of Euclid's GCD algorithm, are not primitive recursive. Walther has recently given a proof system for verifying termination of a broader class of deenitions. Although Walther's system is highly automatible, the c...
متن کاملHempel and the Flagpole
A standard counterexample to Hempel’s Deductive-Nomological (D-N) model of explanation is the example of the flagpole and its shadow. In this example, it is shown that the DN model allows one to explain the height of a flagpole by reference to the length of its shadow (in conjunction with other background premises). Because this seems intuitively unacceptable as an explanation, this example is ...
متن کاملGoodman, 'grue' and Hempel*
It is now commonly accepted that N. Goodman's predicate "grue" presents the theory of confirmation of C. G. Hempel (and other such theories) with grave difficulties. The precise nature and status of these "difficulties" has, however, never been made clear. In this paper it is argued that it is very unlikely that "grue" raises any formal difficulties for Hempel and appearances to the contrary ar...
متن کاملHEMPEL , GOOD , and BAYES
This paper analyzes some decision and belief paradoxes from a Bayesian viewpoint, focusing on Hempel's "paradox of confirmation" and Good's variation thereof. It is shown that a straightforward Bayesian analysis resolves the paradoxes discussed. These examples are used to support the view that the Bayesian paradigm is a very effective tool for providing a coherent and intuitive representation o...
متن کامل3 Carl Hempel , " Two Models
Carl Gustav Hempel 's (19051997) classic account of explanation is widely known as the "cover ing-law model. " It includ es two species : the Deductive-Nomological Expla nation and the Probabilistic-Statist ical Explanation . Since its introduction in the semi nal pape r co-authored by Hempel and Paul Oppenheim (1948), the model has been intense ly debated and criticized in the philosophy of sc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zeitschrift für Angewandte Chemie
سال: 1917
ISSN: 0044-8249,1521-3757
DOI: 10.1002/ange.19170300102